#images {
  display: none;
}

#main {
  background-color: #fa0;
}

/*
svg {
  background-color: #fff;
}
*/

#console {
/*font-family: monospace;*/
  background-color: #fff;
  border: 1px solid #000;
}

.failed, .error {
  color: red;
}

.error {
  font-size: 200%;
}

.success {
  color: #0a0;
}

.successful, .faulty {
  font-weight: bold;
}

.successful {
  color: #0a0;
  font-weight: bold;
}

.faulty {
  color: #f00;
  font-weight: bold;
}
